A parallel logic language for transaction specification in multidatabase systems

A Parallel Logic Language for Transaction Specification in Multidatabase Systems

The realization of truely heterogeneous database systems is hampered among others by two obstacles. One is the unsuitability of traditional transaction models, this has lead to the proposal of a new more flexible transaction model. Th.e second is the fact that none of the existing language and system support such a flexible model. This paper addresses these two issues by proposing a logic appro...

Transaction Speciication in Multidatabase Systems Based on Parallel Logic Programming

The integration of multiple autonomous and heterogeneous database systems into one multidatabase system requires a powerful language which serves both for specifying queries and transactions. In our previous work we proposed a Prolog-based language for specifying queries in multidatabase systems. In this paper, we have introduced a parallel Prolog-based query language which serves well as a con...

Transaction Speci cation in Multidatabase SystemsBased on Parallel Logic

The integration of multiple autonomous and heterogeneous database systems into one multidatabase system requires a powerful language which serves both for specifying queries and transactions. In our previous work we proposed a Prolog-based language for specifying queries in multidatabase systems. In this paper, we have introduced a parallel Prolog-based query language which serves well as a con...

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...

Multidatabase Transaction and Query Processing in Logic